机译:通过设计并发控制器进行验证,消除空中交通管制软件中的同步故障
机译:基于小波的鲁棒自适应T-S模糊控制器设计,用于同步的故障混沌Gyrostat系统
机译:一类描述符系统的脉冲消除和容错预览控制器设计
机译:并发控制器验证设计在空中交通管制软件中的应用
机译:空中交通管制员基于工作负载的分区实现了最佳的空域设计。
机译:空中交通管制活动可增加空中注意力交通管制员
机译:通过并发控制器验证设计消除空中交通管制软件中的同步故障
机译:控制器评估初始数据链路途径空中交通管制服务:Isss设计开发。研究1。